Optimal. Leaf size=44 \[ \text{CosIntegral}\left (x^2\right )+\frac{\text{Si}\left (2 x^2\right )}{2}-\frac{3}{4 x^2}-\frac{\sin \left (x^2\right )}{x^2}+\frac{\cos \left (2 x^2\right )}{4 x^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.100006, antiderivative size = 44, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 6, integrand size = 12, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.5, Rules used = {3403, 3380, 3297, 3299, 3379, 3302} \[ \text{CosIntegral}\left (x^2\right )+\frac{\text{Si}\left (2 x^2\right )}{2}-\frac{3}{4 x^2}-\frac{\sin \left (x^2\right )}{x^2}+\frac{\cos \left (2 x^2\right )}{4 x^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3403
Rule 3380
Rule 3297
Rule 3299
Rule 3379
Rule 3302
Rubi steps
\begin{align*} \int \frac{\left (1+\sin \left (x^2\right )\right )^2}{x^3} \, dx &=\int \left (\frac{3}{2 x^3}-\frac{\cos \left (2 x^2\right )}{2 x^3}+\frac{2 \sin \left (x^2\right )}{x^3}\right ) \, dx\\ &=-\frac{3}{4 x^2}-\frac{1}{2} \int \frac{\cos \left (2 x^2\right )}{x^3} \, dx+2 \int \frac{\sin \left (x^2\right )}{x^3} \, dx\\ &=-\frac{3}{4 x^2}-\frac{1}{4} \operatorname{Subst}\left (\int \frac{\cos (2 x)}{x^2} \, dx,x,x^2\right )+\operatorname{Subst}\left (\int \frac{\sin (x)}{x^2} \, dx,x,x^2\right )\\ &=-\frac{3}{4 x^2}+\frac{\cos \left (2 x^2\right )}{4 x^2}-\frac{\sin \left (x^2\right )}{x^2}+\frac{1}{2} \operatorname{Subst}\left (\int \frac{\sin (2 x)}{x} \, dx,x,x^2\right )+\operatorname{Subst}\left (\int \frac{\cos (x)}{x} \, dx,x,x^2\right )\\ &=-\frac{3}{4 x^2}+\frac{\cos \left (2 x^2\right )}{4 x^2}+\text{Ci}\left (x^2\right )-\frac{\sin \left (x^2\right )}{x^2}+\frac{\text{Si}\left (2 x^2\right )}{2}\\ \end{align*}
Mathematica [A] time = 0.101377, size = 41, normalized size = 0.93 \[ \frac{4 x^2 \text{CosIntegral}\left (x^2\right )+2 x^2 \text{Si}\left (2 x^2\right )-4 \sin \left (x^2\right )+\cos \left (2 x^2\right )-3}{4 x^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.019, size = 39, normalized size = 0.9 \begin{align*} -{\frac{3}{4\,{x}^{2}}}+{\it Ci} \left ({x}^{2} \right ) +{\frac{\cos \left ( 2\,{x}^{2} \right ) }{4\,{x}^{2}}}+{\frac{{\it Si} \left ( 2\,{x}^{2} \right ) }{2}}-{\frac{\sin \left ({x}^{2} \right ) }{{x}^{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [C] time = 1.11866, size = 73, normalized size = 1.66 \begin{align*} \frac{x^{2}{\left (i \, \Gamma \left (-1, 2 i \, x^{2}\right ) - i \, \Gamma \left (-1, -2 i \, x^{2}\right )\right )} - 1}{4 \, x^{2}} - \frac{1}{2 \, x^{2}} + \frac{1}{2} \, \Gamma \left (-1, i \, x^{2}\right ) + \frac{1}{2} \, \Gamma \left (-1, -i \, x^{2}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.3233, size = 154, normalized size = 3.5 \begin{align*} \frac{x^{2} \operatorname{Ci}\left (-x^{2}\right ) + x^{2} \operatorname{Ci}\left (x^{2}\right ) + x^{2} \operatorname{Si}\left (2 \, x^{2}\right ) + \cos \left (x^{2}\right )^{2} - 2 \, \sin \left (x^{2}\right ) - 2}{2 \, x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 5.82142, size = 51, normalized size = 1.16 \begin{align*} - \log{\left (x^{2} \right )} + \frac{\log{\left (x^{4} \right )}}{2} + \operatorname{Ci}{\left (x^{2} \right )} + \frac{\operatorname{Si}{\left (2 x^{2} \right )}}{2} - \frac{\sin{\left (x^{2} \right )}}{x^{2}} + \frac{\cos{\left (2 x^{2} \right )}}{4 x^{2}} - \frac{3}{4 x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.09745, size = 53, normalized size = 1.2 \begin{align*} \frac{4 \, x^{2} \operatorname{Ci}\left (x^{2}\right ) + 2 \, x^{2} \operatorname{Si}\left (2 \, x^{2}\right ) + \cos \left (2 \, x^{2}\right ) - 4 \, \sin \left (x^{2}\right ) - 3}{4 \, x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]